Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
291	Piecewise-Defined Ranking Functions∗ Caterina Urban1 1 École Normale Supérieure - CNRS - INRIA Paris, France Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Abstract interpretation Piecewise Function Maxima and minima Patrick Cousot Convex function Partial function Piecewise linear function Mathematical analysis Mathematics Functions and mappings
292	Growth and inequality in a bimodal colony - a dialectic interpretation of Southern Rhodesia Erik Green1 Martin Andersson2 Tobias Axelsson3 Abstract: The impact of colonial institutions for long-run development has recent Add to Reading List Source URL: mortenjerven.com Language: English - Date: 2013-04-12 12:13:40 Member states of the United Nations Africa British Empire Rhodesia Economic growth Economy of Africa South Africa Zimbabwe Colonialism International relations Political geography Member states of the African Union
293	A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M Add to Reading List Source URL: www.nik.no Language: English - Date: 2012-02-29 03:37:49 Boolean algebra Model theory Logical syntax Metalogic Function Interpretation Propositional formula Bayesian network Influence diagram Logic Mathematical logic Propositional calculus
294	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Language: English - Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory
295	From Useful Idiocy to Activism: a Marxist interpretation of computer development. Bob Hughes Dept of Electronic Media, Oxford Brookes University, [removed] ABSTRACT Add to Reading List Source URL: dustormagic.net Language: English - Date: 2013-08-14 04:27:19 Economies Marxist theorists Marxist theory Sociology Capitalism Marxian economics Monopoly Capital The Unfinished Revolution Paul A. Baran Economics Political economy Economic ideologies
296	Partiality as nondeterminism Yngve Lamo Michal Walicki Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-03-09 04:39:36 Logic Symbol Interpretation Structure Constructible universe Sheaf Function Sigma-algebra Kripke–Platek set theory Mathematics Model theory Mathematical logic
297	Abstract Conceptual literature has, in its present incarnation, only existed for the past 15 years or so. Typical readings of this literature often reduce the works to being exclusively connected with institutional criti Add to Reading List Source URL: hum.ku.dk Language: English - Date: 2015-04-06 07:22:23 Judith Butler Performativity Pragmatics Semiotics Interpretation Science Ethology Feminist philosophy
298	A Practical and Flexible Flow Analysis for Higher-Order Languages J. Michael Ashley University of Kansas, Lawrence, Kansas and R. Kent Dybvig Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 1998-12-02 10:47:08 Greek alphabet Function Abstract interpretation Valuation Data-flow analysis Mathematics Algebraic geometry Circumflex
299	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
300	The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed] Add to Reading List Source URL: www.sas2012.ens.fr Language: English - Date: 2012-07-03 06:17:35 Theoretical computer science Abstract interpretation Applied mathematics Model checking Program analysis Abstract management Formal verification Software bug Computer science Formal methods Logic in computer science Patrick Cousot

UPDATE